Operational Galois Adjunctions

نویسندگان

  • BOB COECKE
  • DAVID MOORE
چکیده

We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theory. First, after reviewing the notion of residuation and its implementation at the level of quantaloids we consider some standard universal constructions and the extension of adjunctions to weak morphisms. Second, we present the categorical formulation of closure operators and introduce a hierarchy of contextual enrichments of the quantaloid of complete join lattices. Third, we briefly survey physical state-property duality and the categorical analysis of derived notions such as causal assignment and the propagation of properties.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Operational Galois Adjunctions 1

We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theory. First, after reviewing the notion of residuation and its implementation at the level of quantaloids we consider some standard universal constructions and the extension of adjunctions to weak morphisms. Second, we p...

متن کامل

Pre-torsors and Galois Comodules Over Mixed Distributive Laws

We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street’s bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (NA, RA) and (NB, RB) on...

متن کامل

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions

There exists a direct relation between fuzzy rough sets and fuzzy preorders. On the other hand, it is well known the existing parallelism between Formal Concept Analysis and Rough Set Theory. In both cases, Galois connections play a central role. In this work, we focus on adjunctions (also named isotone Galois connections) between fuzzy preordered sets; specifically, we study necessary conditio...

متن کامل

Constructing right adjoints between fuzzy preordered sets

In this work, we focus on adjunctions (also named isotone Galois connections) between fuzzy preordered sets; specifically, we study necessary and sufficient conditions that have to be fulfilled in order such an adjunction to exist.

متن کامل

Tiling transactions in rewriting logic 1 Roberto Bruni

We propose a modular high-level approach to the specification of transactions in rewriting logic, where the operational and the abstract views are related by suitable adjunctions between categories of tile theories and of rewrite theories.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000